Les classes de langages congruentiels forment une autre hiérarchie de langages, incomparable à la hiérarchie de Chomsky. - Un système de réécriture sur un alphabet fini A est un ensemble fini de couples de mots sur A, appelées règles de réécriture, présentées sous...